Câu lệnh của OCaml kết thúc với hai dấu chấm phẩy (;;), khác với ML chuẩn.

Trong OCaml, cũng như các ngôn ngữ lập trình hàm khác, tên được gán giá trị bằng lệnh let:

let x = 3 + 5 * 2;;

Đặc điểm lập trình hàm của OCaml cho phép các hàm là dạng dữ liệu cấp I. Hàm số ưu tiên kết hợp với tham số ở mức ưu tiên cao nhất.

(* Chú thích: giả sử f là một hàm có một tham số *)2 + f 3  (* cách thông dụng *)2 + (f 3) (* rõ ràng hơn *)2 + f(3)  (* thường dùng với các ngôn ngữ mệnh lệnh như C, Pascal... Không thông dụng trong OCaml *)

Với đặc điểm này, một tên cũng có thể khai báo như một hàm bằng let:

let gapDoi x = x *. 2.0;;

Với các hàm đệ quy, ta cần viết let rec:

let rec giaiThua n =   if n = 0 then 1 else n * giaiThua (n-1);;